Nuprl Definition : inheres
0,22
postcript
pdf
x
:
T
>>
a
==
g
:(
T
). M(
a
;
g
;
x
)
latex
Definitions
x
:
A
.
B
(
x
)
,
x
:
A
B
(
x
)
,
,
b
,
M(
a
;
g
;
x
)
FDL editor aliases
inheres
origin
g:(T
). M(a;g;x) g:(T). M(a;g;x) x:A. B(x)B(x)
b